English translation for "reachability graph"

可达图

Related Translations:

reachability:  可存取性可达性；能达性能达到性

reachability set:  可达到集

connective reachability:  联结可达性

step reachability:  步可达性

reachability map:  可达到映射

erreichbarkeit reachability:  可达到性

reachability tree:  可达树

ra reachability analysis:  可达性分析

matrix of reachability:  可达性矩阵

persistence by reachability:  可达性完成持久化

Example Sentences:

	1.	For quantitative solution , we study gspn and find that the reachability graph of a gspn is isomorphic to a continuous time markov process ( ctmp ) when the vanishing markings are eliminated , so markov process method can be used 在安全性定量分析方面，我们研究发现去除消失标识后， gspn的可达图与一个连续时间markov过程( ctmp )是同构的，为此，可利用markov过程方法进行分析。
	2.	Then the methods using reachability graph to analyze static and dynamic structural performance of colored timed workflow net are improved , and the theorem verifying whether there are deadlocks or traps in concurrent workflow are put forward using reachability graph 通过可达图分析着色时间工作流网静态和动态性能,提出用可达图检验工作流中是否存在死锁和陷阱的判断定理。
	3.	Three necessary conditions on the parameters are derived , and then a reduced reachability graph is obtained by applying the necessary conditions to lessen the combinatorial state explosion . and these dynamic characteristics to this model are verified preliminarily using the reduced reachability graph 根据本文提出的可达分析技术，推导出了保证协议正确操作的参数间的时间关系，根据该时间关系，我们得到了所建模型的简化的可达标识图，并对该模型的动态特性进行了初步分析。

Similar Words：

"reach-in refrigerator" English translation, "reach-inrefrigerator" English translation, "reach-me-down" English translation, "reach-through voltage" English translation, "reachability" English translation, "reachability map" English translation, "reachability set" English translation, "reachability tree" English translation, "reachabilitygraph" English translation, "reachable" English translation